https://dasbestelexikon.de/de/wiki/DR-Baureihe_E_95